-
1 formal axiomatic method
Макаров: формальный аксиоматический методУниверсальный англо-русский словарь > formal axiomatic method
-
2 formal axiomatic method
English-russian dictionary of physics > formal axiomatic method
-
3 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
4 формальный аксиоматический метод
Русско-английский физический словарь > формальный аксиоматический метод
-
5 формальный аксиоматический метод
Makarov: formal axiomatic methodУниверсальный русско-английский словарь > формальный аксиоматический метод
-
6 system
ˈsɪstɪm сущ.
1) а) система Syn: method б) система, устройство;
метод adversary system ≈ система состязательности в суде (правда выясняется в ходе соревнования позиций и доказательств сторон в судебном процессе) health system ≈ органы здравоохранения narrative evaluation system ≈ описательная система оценок( письменная характеристика успеваемости учащегося, даваемая преподавателем в свободной форме) political system ≈ государственный строй air-conditioning system
2) какая-л. определенная система а) сеть( дорог и т. п.) б) мир;
вселенная( система планет)
3) организм или часть организма nervous system support-locomotion system
4) геол. система, формация система;
способ;
метод - a good * of teaching French хорошая система /-ий метод/ обучения французскому языку - the touch * of typewriting печатание на машинке по слепому методу (тк. в ед. ч.) система, систематичность - to work without * работать без( строгой) системы - his work lacks * (в) его работе недостает системы - to bring * out of confusion упорядочить неразбериху;
найти выход из запутанного положения строй, устройство - political * государственный строй - the feudal * феодальный строй - * of government система правления - bipartisan /two-party/ * (американизм) (политика) двухпартийная система классификация, система - * of axes (математика) система координат - * of units( физическое) система измерений - natural * (химическое) периодическая система элементов - the decimal * десятичная система - binary * (химическое) бинарная /двойная/ система (философское) система;
комплекс идей, образующих целое - a * of philosophy философская система;
философское учение( философское) вселенная, мир сеть (дорог, труб и т. п.) - tramway * трамвайная сеть - irrigation * система орошения - nervous * нервная система - circulatory * система кровообращения - telephone * телефонная сеть организм - to pass into the * проникнуть в организм - to introduce smth. into the * ввести что-л. в организм - strong drink is bad for the * крепкие напитки вредны для организма - to get smth. out of one's * вывести( яд и т. п.) из организма;
избавиться от какого-л. чувства, навязчивой идеи и т. п. - I must get her out of my * я должен выбросить ее из головы (астрономия) система - * of comets система комет - solar * солнечная система (геология) система, формация (спортивное) судейство - closed /written/ * закрытое судейство - open /public/ * открытое судейство (военное) средство - forward-based *s средства передового базирования - all *s go (космонавтика) все системы (корабля) работают нормально( компьютерное) система - multiprocession * многопроцессорная система - * manager системный программист;
администратор системы - * management сопровождение /координация работы/ системы accept ~ система акцептования accounting information ~ вчт. бухгалтерская информационная система accounting ~ система бухгалтерского учета accounting ~ система счетов adaptive ~ вчт. адаптивная система administrative ~ административная система alarm ~ система сигнализации analysis ~ система анализа application visualization ~ вчт. прикладная система изображения asset quality rating ~ система квалификации активов asymptotically stable ~ асимптотически устойчивая система automated control ~ асу, автоматизированная система управления axiomatic ~ аксиоматическая система backup ~ вчт. дублирующая система banking ~ банковская система belief ~ система доверия bicameral ~ двухпалатная система bicameral ~ парл. двухпалатная система bipartite ~ парл. двухпартийная система block ~ =blocking bonus ~ премиальная система buddy ~ метод близнецов bulk-service ~ система с групповым обслуживанием business ~ экономическая система cad ~ вчт. система автоматизированного проектирования call-reply ~ вчт. запрсно-ответная система certification ~ система сертификации closed queueing ~ замкнутая система массового обслуживания closed ~ замкнутая система code-dependent ~ вчт. система зависящая от данных code-independent ~ вчт. система не зависящая от данных code-insensitive ~ вчт. система не зависящая от данных code-sensitive ~ вчт. система зависящая от данных code-transparent ~ вчт. система не зависящая от данных coinage ~ монетная система column ~ система бухгалтерского учета по колонкам commission ~ система комиссионных вознаграждений computer ~ вычислительная система computer ~ вчт. вычислительная система computer ~ вычислительный комплекс computer ~ система вычислительных машин computer-aided control ~ автоматизированная система управления computer-to-plate ~ система создания печатных форм на компьютере computerized information ~ информационная система на базе ЭВМ concealment ~ система маскировки concession ~ система концессий constrained ~ вчт. система с ограничениями consulting ~ вчт. консультирующая система control ~ система управления control ~ вчт. система управления cooperative ~ система кооперации cooptation ~ система кооптации costing ~ система калькуляции себестоимости court ~ судебная система, система судопроизводства credit ~ кредитная система criminal reestablishment ~ система восстановления личности преступника crisis alert ~ система предупреждения о кризисе cross ~ вчт. кросс-система cyclical response ~ вчт. система циклических реакций data base management ~ вчт. система управления базой данных data handling ~ вчт. система обработки данных data processing ~ вчт. система обработки данных data ~ вчт. информационная система database ~ вчт. система баз данных decimal ~ десятичная система dedicated ~ специализированная система deductive ~ дедуктивная система delay ~ система с ожиданием desktop ~ система непосредственного взаимодействия direct debit ~ система прямого дебета direct ~ целевая система directional ~ система управления disk operating ~ вчт. дисковая операционная система, ДОС distributed file ~ вчт. распределенная файловая система distributed ~ вчт. распределенная система distribution ~ система распределения distributive ~ распределительная система DP ~ (data processing ~) система обработки данных dynamic ~ динамическая система educational ~ система образования educational ~ система обучения election ~ избирательная система electronic book-entry ~ вчт. электронная система бухгалтерского учета electronic full-page makeup ~ вчт. электронная система верстки полос enclave ~ анклавная группа;
полузащищенная группа (работающих под специальным наблюдением в обычных рабочих условиях инвалидов) equilibrium ~ равновесная система evolutionary ~ развиваемая система executive ~ вчт. операционная система expand a ~ вчт. расширять комплект оборудования системы expert ~ вчт. экспертная система explanatory ~ вчт. система объяснений fail-soft ~ вчт. система с амортизацией отказов federal ~ федеральная система fee ~ система вознаграждений feedback ~ система с обратной связью file ~ вчт. файловая система filing ~ система регистрации документов filing ~ система хранения документов financial ~ финансовая система fiscal ~ система финансов fixed price ~ система с фиксированной ценой flat-rate guarantee ~ система гарантий с фиксированной ставкой formal ~ формальная система fractional reserve ~ система частичных резервов frame ~ вчт. система фреймов functional information ~ вчт. функциональный информационная система giro ~ система жиросчетов governmental ~ правительственная система grading ~ система сортировки guarantee ~ система гарантий guidance ~ вчт. система -путеводитель hard disk ~ вчт. система с жестким диском help ~ вчт. справочник hire ~ =hire-purchase historical cost ~ выч. калькуляция на основе фактических издержек производства homogeneous ~ однородная система host ~ вчт. базисная система host ~ вчт. централизованная система imprest ~ система авансирования imputation ~ система условного начисления indexing ~ система индексации inductive ~ вчт. индуктивная система information ~ вчт. информационная система instruction ~ вчт. обучающая система integrated ~ вчт. интегрированная система intelligent ~ вчт. интеллектуальная система interactive ~ вчт. диалоговая система interactive ~ вчт. интерактивная система interest ~ система ставок процента international monetary ~ международная валютная система judicial ~ система судебных органов judicial ~ судебная система, система судебных органов judicial ~ судебная система jury ~ система суда присяжных knowledge base management ~ вчт. система управления базой знаний knowledge representation ~ вчт. система представления знаний land registration ~ система регистрации земельного участка learning ~ вчт. самообучаемая система licensing ~ система лицензирования linear programming ~ система линейного программирования linear ~ линейная система loadable ~ вчт. загружаемая система loan limit ~ система предельных размеров кредита loose-leaf ~ полигр. издание с отрывными или вкладными листами loss ~ система с потерями mail ~ вчт. электронная почта management information ~ (MIS) управленческая информационная система manual ~ система ручного управления many-server ~ вчт. многоканальная система mapped ~ вчт. система с управлением памятью market ~ рыночная система market ~ рыночная экономика market ~ страна с рыночной экономикой marketing information ~ система маркетинговой информации markov ~ марковская система markovian ~ марковская система master-slave ~ несимметричная система match ~ система выравнивания курсов militia ~ система милиции minimum price ~ система минимальных цен minimum wage ~ система минимальной заработной платы ministerial ~ правительственная система mixed price ~ смешанная ценовая система mixed ~ смешанная система modeless ~ вчт. система с однородным интерфейсом monetary ~ денежная система monetary ~ финансовая система monitoring ~ система мониторинга monitoring ~ система текущего контроля multi-user ~ вчт. многопользовательская система multiprocessing ~ вчт. многопроцессорная система multiprogramming ~ вчт. система, работающая в мультипрограммном режиме multiserver ~ вчт. многоканальная система multistation ~ вчт. многопунктовая система multitasking ~ вчт. многозадачная система multiuser ~ система коллективного пользования multivariable ~ вчт. многомерная система municipal ~ муниципальная система non-markovian ~ вчт. немарковская система nonstop ~ вчт. безостановочный компьютер normative ~ нормативная система number ~ система счисления numeration ~ система счисления off-line ~ вчт. автономная система on-demand ~ вчт. система без ожидания on-line ~ вчт. неавтономная система on-line ~ вчт. система, работающая в реальном масштабе времени on-line ~ вчт. система реального времени one-party ~ однопартийная система open learning ~ гибкая система обучения open ~ вчт. открытая система open-item ~ система с незакрытыми статьями баланса operating ~ действующая система operating ~ вчт. операционная система organized banking ~ организованная банковская система page ~ вчт. страничная система parliamentary ~ парламентская система partial cost ~ система калькуляции издержек производства с использованием нормативов party ~ партийная система patent ~ система патентования pay-as-you-go ~ система выплаты выходных пособий при увольнении payments ~ система платежей penal ~ пенитенциарная система periodic reordering ~ вчт. система с периодической подачей заказов pilot ~ вчт. прототип системы ~ система, устройство;
political system государственный строй portable ~ вчт. мобильная система preferential ~ система преференций premium ~ премиальная система price control ~ система регулирования цен price support ~ система гарантирования цен price ~ система цен priority ~ вчт. система приоритетов priority ~ вчт. система с приоритетами probabilistic ~ вероятностная система process cost ~ система исчисления производственных издержек production ~ продукционная система productions ~ система продукций program development ~ вчт. система разработки программ programming ~ вчт. система программирования progressive taxation ~ система прогрессивного налогообложения proportional taxation ~ система пропорционального налогообложения protection ~ вчт. система защиты prototyping ~ макет системы public health ~ система здравоохранения quality ~ система критериев качества quality ~ система проверки качества quata ~ система квот question-answering ~ вчт. вопросно-ответная система queueing ~ система массового обслуживания queueing ~ вчт. система массового обслуживания quota ~ система иммиграционных квот quota ~ система квот quota ~ система контингентов real time ~ вчт. система реального времени reasoning ~ вчт. разумная система redundant ~ вчт. избыточная система reliable ~ надежная система report ~ система отчетности reporting ~ система отчетности reporting ~ система сбора информации reporting ~ система учета representation ~ система представления reservation ~ система резервирования resident ~ вчт. резидентная система retrieval ~ док. система внесения исправлений retrieval ~ вчт. система поиска revision control ~ вчт. система управления версиями risk control ~ система контроля рисков salary adjustment ~ система регулирования заработной платы salary ~ система заработной платы scalable ~ вчт. расширяемая система school ~ школьная система segment ~ вчт. система с сегментной организацией self-assessment tax ~ система самообложения налогом self-contained ~ замкнутая система serving ~ вчт. система обслуживания setting up the ~ вчт. начальная установка системы short-term support ~ система краткосрочной поддержки simulation ~ имитационная система single-channel ~ вчт. одноканальная система single-server ~ вчт. одноканальная система slave ~ подчиненная система stable ~ устойчивая система standard pay ~ система нормативной заработной платы standby ~ резервная система static-priority ~ вчт. система со статическими приоритетами stationary ~ стационарная система stochastic ~ стохастическая система support ~ вчт. исполняющая система system метод ~ мир, вселенная ~ организм ~ сеть (дорог и т. п.) ~ геол. система, формация ~ система, устройство;
political system государственный строй ~ система, устройство ~ система, метод ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? ~ comp. система ~ устройство ~ for medium-term financial assistance программа среднесрочной финансовой помощи ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? ~ of commands система команд ~ of deductions система выводов ~ of financial contributions система финансовых взносов ~ of import control система контроля за импортом ~ of monitoring balance sheet growth система контроля за ростом статей баланса ~ of reimbursement система возмещения расходов ~ of remuneration система вознаграждения ~ of state государственное устройство ~ of taxation система налогообложения target ~ вчт. целевая система tax ~ налоговая система tax-at-source ~ система удержания налога из общей суммы доходов taxation ~ система налогообложения tender ~ система торгов terminal ~ вчт. система терминалов test ~ вчт. испытательная система text-retrieval ~ вчт. документальная информационная система thin-route ~ вчт. малоканальная система tightly-coupled ~ вчт. система с сильной связью time sharing ~ вчт. система разделения времени time-sharing ~ вчт. система разделения времени time-sharing ~ вчт. система с разделением времени timecard ~ система табельного учета totting-up ~ система зачетов trade support ~ система поддержки торговли trading ~ система торговли transaction-oriented ~ вчт. диалоговая система обработки запросов truck ~ система оплаты труда натурой truck ~ система оплаты труда товарами truck: truck = truck system ~ attr.: ~ system оплата труда товарами вместо денег;
Truck Acts ист. законы, ограничивающие систему оплаты труда товарами turnkey ~ вчт. готовая система two-channel ~ вчт. двухканальная система two-party ~ двухпартийная система unicameral ~ однопалатная система unitary tax ~ единая система налогообложения unmapped ~ вчт. система без управления памятью up ~ исправная система virgin ~ вчт. исходная система voluntary labelling ~ система добровольного снабжения продукта этикеткой wage ~ система оплаты труда waiting ~ вчт. система с ожиданием watch ~ бирж. система наблюдения weighting ~ система весов ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? windowing ~ вчт. система управления окнами word processing ~ вчт. система обработки текстов work-space ~ вчт. система с рабочим состоянием -
7 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
См. также в других словарях:
Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… … Wikipedia
method — methodless, adj. /meth euhd/, n. 1. a procedure, technique, or way of doing something, esp. in accordance with a definite plan: There are three possible methods of repairing this motor. 2. a manner or mode of procedure, esp. an orderly, logical,… … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Combs method — The Combs method is a method of writing fuzzy logic rules described by William E. Combs in 1997. It is designed to prevent combinatorial explosion in fuzzy logic rules. The Combs method takes advantage of the logical equality . Contents 1… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium